preuve par 9   
porofo ara-tsivy
preuve par 9 [1.1]